and constructive

Results: 779



#Item
21

HCI for Peace: A Call for Constructive Action Juan Pablo Hourcade and Natasha E. Bullock-Rest Department of Computer Science University of Iowa 14 MacLean Hall, Iowa City, IAUSA , natasha.bull

Add to Reading List

Source URL: homepage.cs.uiowa.edu

- Date: 2011-02-14 12:01:12
    22

    WHICH QUANTIFIERS ARE LOGICAL? A COMBINED SEMANTICAL AND INFERENTIAL CRITERION Solomon Feferman For the Constructive in Logic and Applications conference

    Add to Reading List

    Source URL: math.stanford.edu

    - Date: 2012-05-17 18:29:40
      23

      A UQ Leadership Community event Get Constructive: Exploring conflict to drive results Conflict: normal and healthy? Investigate what drives

      Add to Reading List

      Source URL: www.hr.uq.edu.au

      - Date: 2015-07-23 00:14:06
        24

        TIPS FOR SUBMITTING EFFECTIVE COMMENTS* Overview A comment can express simple support or dissent for a regulatory action. However, a constructive, information-rich comment that clearly communicates and supports its claim

        Add to Reading List

        Source URL: www.regulations.gov

        - Date: 2016-10-26 08:19:06
          25

          Introduction What is constructive geometry? IEGC (Intuitionistic Euclidean Constructive Geometry) Connections to Field Theory Field theory and the parallel postulate Independence results

          Add to Reading List

          Source URL: www.michaelbeeson.com

          - Date: 2016-06-01 17:41:52
            26

            Constructive Mathematics and Computer Programming

            Add to Reading List

            Source URL: www.cs.tufts.edu

            - Date: 2011-05-29 20:01:50
              27

              Two Lectures on Constructive Type Theory Robert L. Constable July 20, 2015 Abstract Main Goal: One goal of these two lectures is to explain how important ideas and problems

              Add to Reading List

              Source URL: www.cs.uoregon.edu

              - Date: 2015-07-23 12:52:29
                28

                ALGEBRAIC INDEPENDENCE OF ELEMENTS IN IMMEDIATE EXTENSIONS OF VALUED FIELDS ANNA BLASZCZOK AND FRANZ-VIKTOR KUHLMANN Abstract. Refining a constructive combinatorial method due to MacLane and Schilling, we give several cr

                Add to Reading List

                Source URL: math.usask.ca

                - Date: 2013-04-03 15:09:11
                  29

                  FastForward: Fast and Constructive Full Duplex Relays Dinesh Bharadia Sachin Katti Stanford University

                  Add to Reading List

                  Source URL: www.stanford.edu

                  - Date: 2014-08-06 18:37:29
                    30

                    Chapter 1. Introduction Welcome to a beautiful subject!—the constructive approximation of functions. And welcome to a rather unusual book. Approximation theory is an established field, and my aim is to teach you some

                    Add to Reading List

                    Source URL: www.siam.org

                    - Date: 2012-12-03 12:42:28
                      UPDATE